121. Parallel problem solving from nature - PPSN VI ;
پدیدآورنده: Marc Schoenauer [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Evolutionary computation, Congresses.,Parallel processing (Electronic computers), Congresses.
رده :
QA76
.
58
.
C69
2000
122. Pearls of discrete mathematics /
پدیدآورنده: Martin Erickson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis,Graph theory,Number theory
رده :
QA164
.
E745
2010
123. Power Control in Wireless Cellular Networks
پدیدآورنده: Mung Chiang
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
124. Practical Bilevel Optimization
پدیدآورنده: by Jonathan F. Bard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information theory.,Mathematics.,Operations research.
125. Practical quantum computing for developers :
پدیدآورنده: Silva Vladimir.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Quantum computing.,Big Data.,Mathematical Models of Cognitive Processes and Neural Networks.,Programming Languages, Compilers, Interpreters.,Python.,Quantum Computing.,Quantum computing.
رده :
QA76
.
889
.
S55
2018
126. Practical robot design :
پدیدآورنده: Jagannathan Kanniah, M. Fikret Ercan, Carlos A. Acosta Calderon
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Robotics,Robots-- Design and construction
رده :
TJ211
.
K355
2014
127. Principles of security and trust :
پدیدآورنده: Lujo Bauer, Ralf Küsters (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Algorithms & data structures.,Computer science.,Computer security.,Computer security.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Data encryption (Computer science),Information technology: general issues.,Systems analysis & design.
رده :
QA76
.
9
.
A25
P67
2018eb
128. Quantum physics and geometry /
پدیدآورنده: editors Edoardo Ballico, Alessandra Bernardi, Iacopo Carusotto, Sonia Mazzucchi and Valter Moretti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Geometry.,Quantum theory.,Geometry.,Quantum theory.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.
رده :
QC174
.
12
129. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
130. Realtime Data Minin
پدیدآورنده: / by Alexander Paprotny, Michael Thess
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Computer software,Electronic books
رده :
E-BOOK
131. Reinforcement Learning and Game Theory for Smart Grid Security
پدیدآورنده: Paul, Shuva
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence,Electrical engineering
132. Reinforcement Learning and Game Theory for Smart Grid Security
پدیدآورنده: Paul, Shuva
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence,Electrical engineering
133. Resolving conflicts with mathematica : algorithms for two-person games
پدیدآورنده: Canty, Morton John
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematica )Computer program language(,Computer programs ، Game theory,، Algorithms
رده :
QA
76
.
73
.
M29C2
134. Resource Allocation in Uplink OFDMA Wireless Systems :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Orthogonal frequency division multiplexing.,Radio resource management (Wireless communications),Electrical engineering.,Engineering.
رده :
TK
135. Rohit Parikh on Logic, Language and Society
پدیدآورنده: edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140
136. Security, Privacy, and Anonymity in Computation, Communication, and Storage :
پدیدآورنده: edited by Guojun Wang, Jun Feng, Md Zakirul Alam Bhuiyan, Rongxing Lu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer network architectures.,Computer science.,Data protection.,Information systems.,Artificial intelligence.,Computer network architectures.,Computer science.,Data protection.
رده :
QA76
.
9
.
A25
137. Security and Game Theory : Algorithms, Deployed Systems, Lessons Learned
پدیدآورنده: / Tambe, Milind
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
138. Security and game theory :
پدیدآورنده: Milind Tambe
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security,Game theory,Security, International-- Mathematical models
رده :
QA76
.
9
.
M35
T36
2012
139. Selected Topics in Operations Research and Mathematical Economics :
پدیدآورنده: edited by Gerald Hammer, Diethard Pallaschke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Economics.
رده :
T57
.
6
.
A1
E358
1984
